results for Proper Forcing Axiom